Gilles Dowek: Z-Library 사이트에서 검색하기

년:

2007

언어:

french

파일:

PDF, 3.64 MB

0 / 0

french, 2007

The age of algorithms

Serge Abiteboul, Gilles Dowek

년:

2020

언어:

english

파일:

PDF, 3.29 MB

0 / 5.0

english, 2020

Complexité-Simplexité

Collège de France

Gilles Dowek, Daniel Krob, Claude Debru, Jean-Pierre Couwenbergh, Jean Petitot, Jean-Luc Petit, Alain Berthoz, Daniel Bennequin, Jean-Paul Laumond, Jacques Demongeot, Hedi Ben Amor, Pierre Bessière, Jérôme Brunet, Raja Chatila, Olivier Contré, Fausto Frai

년:

2014

언어:

french

파일:

EPUB, 9.20 MB

0 / 0

french, 2014

Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité

Ecole Polytechnique

Gilles Dowek, Serge Abiteboul [Gilles Dowek, Serge Abiteboul]

년:

2010

언어:

french

파일:

DJVU, 1.50 MB

0 / 0

french, 2010

Le temps des algorithmes-

Le Pommier

년:

2017

언어:

french

파일:

EPUB, 3.50 MB

0 / 0

french, 2017

Le temps des algorithmes

Le Pommier

Gilles Dowek, Serge Abiteboul

년:

2017

언어:

french

파일:

PDF, 2.90 MB

0 / 0

french, 2017

Computation, Proof, Machine: Mathematics Enters a New Age

Gilles Dowek, Pierre Guillot, Marion Roman

년:

2015

언어:

english

파일:

PDF, 2.04 MB

0 / 0

english, 2015

Informatique et sciences du numérique - Spécialité ISN en terminale S, avec des exercices corrigés et des idées de projets

Eyrolles

Gilles Dowek, et al.

년:

2012

언어:

french

파일:

DJVU, 8.47 MB

0 / 0

french, 2012

The Age of Algorithms

Serge Abiteboul & Gilles Dowek & K-Rae Nelson

언어:

english

파일:

PDF, 2.01 MB

0 / 0

english

Voulez-vous jouer avec les maths

Humensis

Gilles Dowek [Dowek, Gilles]

년:

2017

언어:

french

파일:

EPUB, 668 KB

0 / 0

french, 2017

Le temps des algorithmes

Humensis

Serge Abiteboul, Gilles Dowek

년:

2017

언어:

french

파일:

EPUB, 895 KB

0 / 0

french, 2017

Computation, Proof, Machine: Mathematics Enters a New Age

년:

2015

언어:

english

파일:

EPUB, 1.03 MB

0 / 0

english, 2015

Les démonstrations et les algorithmes

Ed. Ecole Polytechnique

년:

2010

파일:

PDF, 20.29 MB

0 / 0

2010

Voulez-vous jouer avec les maths ?

Humensis

년:

2017

언어:

french

파일:

EPUB, 1.43 MB

0 / 0

french, 2017

Complexité-Simplexité - PDFDrive.com

Collège de France

년:

2014

언어:

french

파일:

PDF, 7.09 MB

0 / 0

french, 2014

La Lógica

Siglo XXI

년:

2001

언어:

spanish

파일:

PDF, 2.36 MB

0 / 5.0

spanish, 2001

Computation, Proof, Machine: Mathematics Enters a New Age

년:

2015

언어:

english

파일:

PDF, 1.44 MB

0 / 5.0

english, 2015

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Gilles Dowek (auth.), Ricardo Caferra, Gernot Salzer (eds.)

년:

2000

언어:

english

파일:

PDF, 2.75 MB

0 / 0

english, 2000

Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

Springer International Publishing

Gilles Dowek (eds.)

년:

2014

언어:

english

파일:

PDF, 9.15 MB

0 / 0

english, 2014

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95 Paderborn, Germany, September 21–22, 1995 Selected Papers

Jan Willem Klop (auth.), Gilles Dowek, Jan Heering, Karl Meinke, Bernhard Möller (eds.)

년:

1996

언어:

english

파일:

DJVU, 2.40 MB

0 / 0

english, 1996

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)

년:

1999

언어:

english

파일:

PDF, 3.53 MB

0 / 0

english, 1999

Informatique et sciences du numérique

Editions Eyrolles

년:

2012

언어:

french

파일:

PDF, 106.18 MB

0 / 0

french, 2012

Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

Aarti Gupta (auth.), Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)

년:

2008

언어:

english

파일:

PDF, 13.52 MB

0 / 0

english, 2008

Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

Gilles Dowek (auth.), Robert Nieuwenhuis (eds.)

년:

2005

언어:

english

파일:

PDF, 4.44 MB

0 / 0

english, 2005

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)

년:

1999

언어:

english

파일:

PDF, 3.24 MB

0 / 0

english, 1999

Principles of programming languages

년:

2009

언어:

english

파일:

PDF, 1.95 MB

0 / 0

english, 2009

Introduction to the Theory of Programming Languages

Gilles Dowek, Jean-Jacques Lévy (auth.)

년:

2011

언어:

english

파일:

PDF, 907 KB

0 / 0

english, 2011

Proofs and Algorithms: An Introduction to Logic and Computability

W. Ross MacDonald School Resource Services Library

년:

2011

언어:

english

파일:

PDF, 954 KB

0 / 5.0

english, 2011

Principles of programming languages

Dowek, Gilles

년:

2016

언어:

english

파일:

PDF, 2.54 MB

0 / 0

english, 2016

Principles of Programming Languages

년:

2009

언어:

english

파일:

PDF, 9.72 MB

0 / 0

english, 2009

Introduction to the theory of programming languages

Springer

Lévy, Jean-Jacques, Dowek, Gilles

년:

2011

언어:

english

파일:

PDF, 1.08 MB

0 / 0

english, 2011

Proofs and algorithms: introduction to logic and computability theory

Springer

Dowek, Gilles

년:

2011

언어:

english

파일:

PDF, 6.77 MB

0 / 0

english, 2011

Proofs and Algorithms: An Introduction to Logic and Computability

년:

2011

언어:

english

파일:

PDF, 6.77 MB

0 / 0

english, 2011

Proofs and algorithms: An introduction to logic and computability

년:

2011

언어:

english

파일:

PDF, 944 KB

0 / 0

english, 2011

Introduction to the Theory of Programming Languages

Gilles Dowek, Jean-Jacques Lévy (auth.)

년:

2011

언어:

english

파일:

PDF, 1.05 MB

0 / 0

english, 2011

Proofs and Algorithms: An Introduction to Logic and Computability

년:

2011

언어:

english

파일:

PDF, 1.61 MB

0 / 0

english, 2011

Introduction to the Theory of Programming Languages

Gilles Dowek, Jean-Jacques Lévy (auth.)

년:

2011

언어:

english

파일:

DJVU, 798 KB

0 / 0

english, 2011

Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings